Câu ví dụ The beginning: The Hindley–Milner type system.Hệ thống kiểu Hindley–Milner 4 The Hindley–Milner type systemHệ thống kiểu Hindley–Milner